Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 6.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 003382 | Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | How to Tackle Integer Weighted Automata Positivity |
| 003741 | Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives |
| 003768 | Yohan Boichut [France] ; Roméo Courbis [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Handling Non Left-Linear Rules When Completing Tree Automata |
| 003E65 | Yohan Boichut [France] ; Roméo Courbis [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Handling Left-Quadratic Rules When Completing Tree Automata |
| 004601 | Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | Approximation based tree regular model checking |
| 004E14 | Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives |
| This area was generated with Dilib version V0.6.33. |  |